Optimal. Leaf size=730 \[ \frac {2 a b d^5 x \left (1-c^2 x^2\right )^{5/2}}{(d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 \left (1-c^2 x^2\right )^3}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 x \left (1-c^2 x^2\right )^{5/2} \text {ArcSin}(c x)}{(d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {28 i d^5 \left (1-c^2 x^2\right )^{5/2} (a+b \text {ArcSin}(c x))^2}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {d^5 \left (1-c^2 x^2\right )^3 (a+b \text {ArcSin}(c x))^2}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {5 d^5 \left (1-c^2 x^2\right )^{5/2} (a+b \text {ArcSin}(c x))^3}{3 b c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {112 b d^5 \left (1-c^2 x^2\right )^{5/2} (a+b \text {ArcSin}(c x)) \log \left (1-i e^{-i \text {ArcSin}(c x)}\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {112 i b^2 d^5 \left (1-c^2 x^2\right )^{5/2} \text {PolyLog}\left (2,i e^{-i \text {ArcSin}(c x)}\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {8 b d^5 \left (1-c^2 x^2\right )^{5/2} (a+b \text {ArcSin}(c x)) \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \text {ArcSin}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {16 b^2 d^5 \left (1-c^2 x^2\right )^{5/2} \tan \left (\frac {\pi }{4}+\frac {1}{2} \text {ArcSin}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {28 d^5 \left (1-c^2 x^2\right )^{5/2} (a+b \text {ArcSin}(c x))^2 \tan \left (\frac {\pi }{4}+\frac {1}{2} \text {ArcSin}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {4 d^5 \left (1-c^2 x^2\right )^{5/2} (a+b \text {ArcSin}(c x))^2 \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \text {ArcSin}(c x)\right ) \tan \left (\frac {\pi }{4}+\frac {1}{2} \text {ArcSin}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.91, antiderivative size = 730, normalized size of antiderivative = 1.00, number of steps
used = 25, number of rules used = 16, integrand size = 32, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.500, Rules used = {4763,
4859, 4737, 4767, 4715, 267, 4857, 3399, 4271, 3852, 8, 4269, 3798, 2221, 2317, 2438}
\begin {gather*} \frac {5 d^5 \left (1-c^2 x^2\right )^{5/2} (a+b \text {ArcSin}(c x))^3}{3 b c (c d x+d)^{5/2} (e-c e x)^{5/2}}-\frac {d^5 \left (1-c^2 x^2\right )^3 (a+b \text {ArcSin}(c x))^2}{c (c d x+d)^{5/2} (e-c e x)^{5/2}}-\frac {28 i d^5 \left (1-c^2 x^2\right )^{5/2} (a+b \text {ArcSin}(c x))^2}{3 c (c d x+d)^{5/2} (e-c e x)^{5/2}}-\frac {112 b d^5 \left (1-c^2 x^2\right )^{5/2} \log \left (1-i e^{-i \text {ArcSin}(c x)}\right ) (a+b \text {ArcSin}(c x))}{3 c (c d x+d)^{5/2} (e-c e x)^{5/2}}-\frac {28 d^5 \left (1-c^2 x^2\right )^{5/2} \tan \left (\frac {1}{2} \text {ArcSin}(c x)+\frac {\pi }{4}\right ) (a+b \text {ArcSin}(c x))^2}{3 c (c d x+d)^{5/2} (e-c e x)^{5/2}}-\frac {8 b d^5 \left (1-c^2 x^2\right )^{5/2} \sec ^2\left (\frac {1}{2} \text {ArcSin}(c x)+\frac {\pi }{4}\right ) (a+b \text {ArcSin}(c x))}{3 c (c d x+d)^{5/2} (e-c e x)^{5/2}}+\frac {4 d^5 \left (1-c^2 x^2\right )^{5/2} \tan \left (\frac {1}{2} \text {ArcSin}(c x)+\frac {\pi }{4}\right ) \sec ^2\left (\frac {1}{2} \text {ArcSin}(c x)+\frac {\pi }{4}\right ) (a+b \text {ArcSin}(c x))^2}{3 c (c d x+d)^{5/2} (e-c e x)^{5/2}}+\frac {2 a b d^5 x \left (1-c^2 x^2\right )^{5/2}}{(c d x+d)^{5/2} (e-c e x)^{5/2}}-\frac {112 i b^2 d^5 \left (1-c^2 x^2\right )^{5/2} \text {Li}_2\left (i e^{-i \text {ArcSin}(c x)}\right )}{3 c (c d x+d)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 x \left (1-c^2 x^2\right )^{5/2} \text {ArcSin}(c x)}{(c d x+d)^{5/2} (e-c e x)^{5/2}}+\frac {16 b^2 d^5 \left (1-c^2 x^2\right )^{5/2} \tan \left (\frac {1}{2} \text {ArcSin}(c x)+\frac {\pi }{4}\right )}{3 c (c d x+d)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 \left (1-c^2 x^2\right )^3}{c (c d x+d)^{5/2} (e-c e x)^{5/2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 8
Rule 267
Rule 2221
Rule 2317
Rule 2438
Rule 3399
Rule 3798
Rule 3852
Rule 4269
Rule 4271
Rule 4715
Rule 4737
Rule 4763
Rule 4767
Rule 4857
Rule 4859
Rubi steps
\begin {align*} \int \frac {(d+c d x)^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2}{(e-c e x)^{5/2}} \, dx &=\frac {\left (1-c^2 x^2\right )^{5/2} \int \frac {(d+c d x)^5 \left (a+b \sin ^{-1}(c x)\right )^2}{\left (1-c^2 x^2\right )^{5/2}} \, dx}{(d+c d x)^{5/2} (e-c e x)^{5/2}}\\ &=\frac {\left (1-c^2 x^2\right )^{5/2} \int \left (\frac {5 d^5 \left (a+b \sin ^{-1}(c x)\right )^2}{\sqrt {1-c^2 x^2}}+\frac {c d^5 x \left (a+b \sin ^{-1}(c x)\right )^2}{\sqrt {1-c^2 x^2}}+\frac {8 d^5 \left (a+b \sin ^{-1}(c x)\right )^2}{(-1+c x)^2 \sqrt {1-c^2 x^2}}+\frac {12 d^5 \left (a+b \sin ^{-1}(c x)\right )^2}{(-1+c x) \sqrt {1-c^2 x^2}}\right ) \, dx}{(d+c d x)^{5/2} (e-c e x)^{5/2}}\\ &=\frac {\left (5 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \int \frac {\left (a+b \sin ^{-1}(c x)\right )^2}{\sqrt {1-c^2 x^2}} \, dx}{(d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (8 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \int \frac {\left (a+b \sin ^{-1}(c x)\right )^2}{(-1+c x)^2 \sqrt {1-c^2 x^2}} \, dx}{(d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (12 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \int \frac {\left (a+b \sin ^{-1}(c x)\right )^2}{(-1+c x) \sqrt {1-c^2 x^2}} \, dx}{(d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (c d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \int \frac {x \left (a+b \sin ^{-1}(c x)\right )^2}{\sqrt {1-c^2 x^2}} \, dx}{(d+c d x)^{5/2} (e-c e x)^{5/2}}\\ &=-\frac {d^5 \left (1-c^2 x^2\right )^3 \left (a+b \sin ^{-1}(c x)\right )^2}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {5 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^3}{3 b c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (12 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \text {Subst}\left (\int \frac {(a+b x)^2}{-c+c \sin (x)} \, dx,x,\sin ^{-1}(c x)\right )}{(d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (2 b d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \int \left (a+b \sin ^{-1}(c x)\right ) \, dx}{(d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (8 c d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \text {Subst}\left (\int \frac {(a+b x)^2}{(-c+c \sin (x))^2} \, dx,x,\sin ^{-1}(c x)\right )}{(d+c d x)^{5/2} (e-c e x)^{5/2}}\\ &=\frac {2 a b d^5 x \left (1-c^2 x^2\right )^{5/2}}{(d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {d^5 \left (1-c^2 x^2\right )^3 \left (a+b \sin ^{-1}(c x)\right )^2}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {5 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^3}{3 b c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (2 b^2 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \int \sin ^{-1}(c x) \, dx}{(d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (2 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \text {Subst}\left (\int (a+b x)^2 \csc ^4\left (\frac {\pi }{4}-\frac {x}{2}\right ) \, dx,x,\sin ^{-1}(c x)\right )}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {\left (6 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \text {Subst}\left (\int (a+b x)^2 \csc ^2\left (\frac {\pi }{4}-\frac {x}{2}\right ) \, dx,x,\sin ^{-1}(c x)\right )}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}\\ &=\frac {2 a b d^5 x \left (1-c^2 x^2\right )^{5/2}}{(d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 x \left (1-c^2 x^2\right )^{5/2} \sin ^{-1}(c x)}{(d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {d^5 \left (1-c^2 x^2\right )^3 \left (a+b \sin ^{-1}(c x)\right )^2}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {5 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^3}{3 b c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {8 b d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right ) \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {12 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2 \tan \left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {4 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2 \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right ) \tan \left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (4 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \text {Subst}\left (\int (a+b x)^2 \csc ^2\left (\frac {\pi }{4}-\frac {x}{2}\right ) \, dx,x,\sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (24 b d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \text {Subst}\left (\int (a+b x) \cot \left (\frac {\pi }{4}-\frac {x}{2}\right ) \, dx,x,\sin ^{-1}(c x)\right )}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (8 b^2 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \text {Subst}\left (\int \csc ^2\left (\frac {\pi }{4}-\frac {x}{2}\right ) \, dx,x,\sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {\left (2 b^2 c d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \int \frac {x}{\sqrt {1-c^2 x^2}} \, dx}{(d+c d x)^{5/2} (e-c e x)^{5/2}}\\ &=\frac {2 a b d^5 x \left (1-c^2 x^2\right )^{5/2}}{(d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 \left (1-c^2 x^2\right )^3}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 x \left (1-c^2 x^2\right )^{5/2} \sin ^{-1}(c x)}{(d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {12 i d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {d^5 \left (1-c^2 x^2\right )^3 \left (a+b \sin ^{-1}(c x)\right )^2}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {5 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^3}{3 b c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {8 b d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right ) \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {28 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2 \tan \left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {4 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2 \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right ) \tan \left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {\left (16 b d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \text {Subst}\left (\int (a+b x) \cot \left (\frac {\pi }{4}-\frac {x}{2}\right ) \, dx,x,\sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (48 b d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \text {Subst}\left (\int \frac {e^{-i x} (a+b x)}{1-i e^{-i x}} \, dx,x,\sin ^{-1}(c x)\right )}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (16 b^2 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \text {Subst}\left (\int 1 \, dx,x,\cot \left (\frac {\pi }{4}-\frac {1}{2} \sin ^{-1}(c x)\right )\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}\\ &=\frac {2 a b d^5 x \left (1-c^2 x^2\right )^{5/2}}{(d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 \left (1-c^2 x^2\right )^3}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 x \left (1-c^2 x^2\right )^{5/2} \sin ^{-1}(c x)}{(d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {28 i d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {d^5 \left (1-c^2 x^2\right )^3 \left (a+b \sin ^{-1}(c x)\right )^2}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {5 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^3}{3 b c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {16 b^2 d^5 \left (1-c^2 x^2\right )^{5/2} \cot \left (\frac {\pi }{4}-\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {48 b d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right ) \log \left (1-i e^{-i \sin ^{-1}(c x)}\right )}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {8 b d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right ) \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {28 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2 \tan \left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {4 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2 \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right ) \tan \left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {\left (32 b d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \text {Subst}\left (\int \frac {e^{-i x} (a+b x)}{1-i e^{-i x}} \, dx,x,\sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (48 b^2 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \text {Subst}\left (\int \log \left (1-i e^{-i x}\right ) \, dx,x,\sin ^{-1}(c x)\right )}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}\\ &=\frac {2 a b d^5 x \left (1-c^2 x^2\right )^{5/2}}{(d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 \left (1-c^2 x^2\right )^3}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 x \left (1-c^2 x^2\right )^{5/2} \sin ^{-1}(c x)}{(d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {28 i d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {d^5 \left (1-c^2 x^2\right )^3 \left (a+b \sin ^{-1}(c x)\right )^2}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {5 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^3}{3 b c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {16 b^2 d^5 \left (1-c^2 x^2\right )^{5/2} \cot \left (\frac {\pi }{4}-\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {112 b d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right ) \log \left (1-i e^{-i \sin ^{-1}(c x)}\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {8 b d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right ) \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {28 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2 \tan \left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {4 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2 \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right ) \tan \left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (48 i b^2 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \text {Subst}\left (\int \frac {\log (1-i x)}{x} \, dx,x,e^{-i \sin ^{-1}(c x)}\right )}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {\left (32 b^2 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \text {Subst}\left (\int \log \left (1-i e^{-i x}\right ) \, dx,x,\sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}\\ &=\frac {2 a b d^5 x \left (1-c^2 x^2\right )^{5/2}}{(d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 \left (1-c^2 x^2\right )^3}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 x \left (1-c^2 x^2\right )^{5/2} \sin ^{-1}(c x)}{(d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {28 i d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {d^5 \left (1-c^2 x^2\right )^3 \left (a+b \sin ^{-1}(c x)\right )^2}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {5 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^3}{3 b c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {16 b^2 d^5 \left (1-c^2 x^2\right )^{5/2} \cot \left (\frac {\pi }{4}-\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {112 b d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right ) \log \left (1-i e^{-i \sin ^{-1}(c x)}\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {48 i b^2 d^5 \left (1-c^2 x^2\right )^{5/2} \text {Li}_2\left (i e^{-i \sin ^{-1}(c x)}\right )}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {8 b d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right ) \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {28 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2 \tan \left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {4 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2 \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right ) \tan \left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {\left (32 i b^2 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \text {Subst}\left (\int \frac {\log (1-i x)}{x} \, dx,x,e^{-i \sin ^{-1}(c x)}\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}\\ &=\frac {2 a b d^5 x \left (1-c^2 x^2\right )^{5/2}}{(d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 \left (1-c^2 x^2\right )^3}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 x \left (1-c^2 x^2\right )^{5/2} \sin ^{-1}(c x)}{(d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {28 i d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {d^5 \left (1-c^2 x^2\right )^3 \left (a+b \sin ^{-1}(c x)\right )^2}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {5 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^3}{3 b c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {16 b^2 d^5 \left (1-c^2 x^2\right )^{5/2} \cot \left (\frac {\pi }{4}-\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {112 b d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right ) \log \left (1-i e^{-i \sin ^{-1}(c x)}\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {112 i b^2 d^5 \left (1-c^2 x^2\right )^{5/2} \text {Li}_2\left (i e^{-i \sin ^{-1}(c x)}\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {8 b d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right ) \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {28 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2 \tan \left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {4 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2 \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right ) \tan \left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] Both result and optimal contain complex but leaf count is larger than twice
the leaf count of optimal. \(2312\) vs. \(2(730)=1460\).
time = 10.44, size = 2312, normalized size = 3.17 \begin {gather*} \text {Result too large to show} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.25, size = 0, normalized size = 0.00 \[\int \frac {\left (c d x +d \right )^{\frac {5}{2}} \left (a +b \arcsin \left (c x \right )\right )^{2}}{\left (-c e x +e \right )^{\frac {5}{2}}}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: SystemError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\left (a+b\,\mathrm {asin}\left (c\,x\right )\right )}^2\,{\left (d+c\,d\,x\right )}^{5/2}}{{\left (e-c\,e\,x\right )}^{5/2}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________